step(al,bs,tm(zk,[ctxm(zeta_,u,ip,ip_al_3,ip_al_3),ctxm(zeta_,sp,ip,ip_bs,ip_bs)],pri(zk,[pri(lst,[pri(cred,[ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,idp1,kM,kM_ii,kM_ii),pri(lst,[ctxm(zeta_,u,i_ii,i_al_ii,i_al_ii),ctxm(zeta_,u,d_1,id_1,cd_1),ctxm(zeta_,u,d_2,id_2,cd_2),ctxm(zeta_,u,d_3,id_3,cd_3)]),ctxm(zeta_,dot,n_c1_2,in_pi_n2,cn_pi_n2),ctxm(zeta_,dot,n_c1_5,in_pi_n5,cn_pi_n5)]),ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,u,i_ii,i_al_ii,i_al_ii),ctxm(zeta_,u,d_1,id_1,cd_1),ctxm(zeta_,u,d_2,id_2,cd_2),ctxm(zeta_,u,d_3,id_3,cd_3),ctxm(zeta_,dot,n,in_zeta_n,cn_zeta_n),ctxm(zeta_,dot,n_1_2,in_zeta_n12,cn_zeta_n12),ctxm(zeta_,dot,n_1_1,in_zeta_n11,cn_zeta_n11),ctxm(zeta_,dot,n_1_3,in_zeta_n13,cn_zeta_n13)]),pri(lst,[pri(h,[pri(lst,[ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,dot,n,in_zeta_n,cn_zeta_n)])]),pri(h,[pri(lst,[ctxm(zeta_,u,i_ii,i_al_ii,i_al_ii),ctxm(zeta_,dot,n_1_2,in_zeta_n12,cn_zeta_n12)])]),pri(h,[pri(lst,[ctxm(zeta_,u,d_2,id_2,cd_2),ctxm(zeta_,dot,n_1_1,in_zeta_n11,cn_zeta_n11)])]),
pri(h,[pri(lst,[ctxm(zeta_,u,d_3,id_3,cd_3),ctxm(zeta_,dot,n_1_3,in_zeta_n13,cn_zeta_n13)])]),ctxm(zeta_,u,d_1,id_1,cd_1),pri(pk,[ctxm(zeta_,idp1,kM,kM_ii,kM_ii)]),pri(pk,[ctxm(zeta_,ttp,kM,kM_ttp,kM_ttp)]),pri(aencl,[pri(lst,[ctxm(zeta_,u,i_ii,i_al_ii,i_al_ii),ctxm(zeta_,dot,n_v,in_z_v,cn_z_v)]),pri(pk,[ctxm(zeta_,ttp,kM,kM_ttp,kM_ttp)]),ctxm(zeta_,dot,cnd,i_cnd,d_cnd)]),ctxm(zeta_,u,d_4,id_4,cd_4)]),ctxm(zeta_,dot,n_1_a,in_zeta_n1a,cn_zeta_n1a),ctxm(zeta_,dot,n_1_b,in_zeta_n1b,cn_zeta_n1b)]))).

